ارائه راهکاری مبتنی بر زمان برای تحلیل آسیب پذیری شبکه در مقابل حملات چند مرحله ای

پایان نامه
چکیده

گستردگی و ماهیت توزیع¬شده¬ی شبکه¬های کامپیوتری بستری مناسب برای نفوذ و آسیب وارد نمودن به پروتکل¬های درحال اجرا روی این شبکه¬ها پدیدآورده است. یکی از پروتکل¬های لایه¬ی ip که در معرض آسیب¬های ناشی از این بستر ناامن و حفاظت نشده قرار دارد، پروتکل mobile ipv6 (mipv6) است. mipv6 پروتکلی برای اینترنت ipv6 است که مشکلات ناشی از جابجائی و تغییرات ip گره¬ها در شبکه را حل می¬کند. مکانیزم بهینه¬سازی مسیر طراحی شده در پروتکل mipv6 که جهت کوتاه نمودن مسیر ارتباطی میان گره¬ها استفاده می¬شود و وظیفه¬اش بروزرسانی اطلاعات مکانی گره¬های در حال حرکت است، این پروتکل را در معرض بسیاری خطرات از جمله ربودن ارتباط میان دو گره و نقض جامعیت و امنیت بسته¬ها قرار می¬دهد. به همین دلایل در سال¬های اخیر پروتکل¬های بسیاری جهت تأمین امنیت بروزرسانی¬های mipv6 طراحی گردیده¬اند که وارسی امنیت و تحلیل آسیب¬پذیری¬های این پروتکل¬ها امری ضروری است. در این پایان¬نامه روالی صوری و مبتنی بر ماشین زمان¬دار برای تشخیص آسیب¬پذیری¬های موجود در فرآیند بهینه¬سازی مسیر ارائه شده در پروتکل mipv6 که با استفاده از روال بازگشت مسیر (return routability procedure) حفاظت می-شود، ارائه می¬دهیم. تلاش شده¬است که مدل پیشنهادی تمام مکانیزم¬های امنیتی لحاظ شده در فرآیند بهینه¬سازی مسیر پروتکل را پوشش دهد و مدلی نزدیک به سطح پیاده¬سازی باشد. مواد و روش ها: روال صوری پیشنهادی با استفاده از ابزار وارسی مدل uppaal روی پروتکل mipv6 پیاده گردید و ویژگی های امنیتی پروتکل با استفاده از این ابزار روی مدل حاصل از رویه ی پیشنهادی وارسی شدند. نتایج: سناریوهای مختلفی از حملات ربودن ارتباط، مرد میانی و جعل پیغام بازگشت به خانه با روش پیشنهادی روی پروتکل mipv6 بدست آمده است. همچنین روال صوری پیشنهادی عدم امکان رخ داد حمله¬ی بازپخش روی این پروتکل را نشان می دهد. بحث: در اثر وارسی ویژگی¬های امنیتی پروتکل روی مدل پیشنهادی موفق به تشخیص غالب حملاتی گردیده¬ایم که تا کنون برای mipv6 در متون مختلف عنوان شده¬اند، همچنین برخی رخنه¬های امنیتی و راه¬های نفوذ جزئی¬ای که در کارهای قبلی به آن¬ها اشاره¬ای نگردیده¬بود از طریق روال صوری پیشنهادی شناسائی شدند. متد و راهکارهای استفاده شده در طراحی مدل پیشنهادی مسیری مناسب برای مدلسازی و وارسی امنیت پروتکل¬های بسیاری که جهت حفظ امنیت بهینه-سازی مسیر در پروتکل mipv6 طراحی گردیده¬اند می¬گشاید.

منابع مشابه

مدلی برای پیش بینی آسیب پذیری تحصیلی در مقطع کارشناسی مبتنی بر شبکه عصبی

هدف پژوهش حاضر، توسعه مدلی برای پیش­بینی شرایط اخراج آموزشی دانشجویان مقطع کارشناسی رشته­های مهندسی بوده که به روش داده­کاوی و با استفاده از الگوریتم شبکه عصبی به اجرا درآمده است. جامعه آماری، دربرگیرنده کلیه پذیرفته­شدگان سال­های 1387 لغایت 1390 در سه مورد از دانشگاه­های فنی و مهندسی کشور بوده است. داده­های پژوهش با بهره­برداری مستقیم از سیستم­های آموزش هر سه دانشگاه­ در مدل­سازی وارد شدند. نت...

متن کامل

تبیین عوامل اجتماعی و فرهنگی موثر بر آسیب پذیری جوامع محلی در مقابل حملات گرگ در استان همدان

در‌ ایران گرگ یکی از گوشتخوارانی است که با مردم محلی بیشترین تضاد را دارد. متاسفانه تضاد بین انسان و گرگ در استان همدان به اوج خود رسیده است بطوریکه در سالهای اخیر 60 مورد حمله به انسان ( اغلب کودکان و افراد مسن ) و بیش از 100 مورد حمله به دام اهلی در این استان ثبت شده است. یکی از راهکارهای مدیریتی موثر جهت مدیریت این تعارض بررسی نگرش و تعیین ساختار جوامع محلی (از لحاظ اقتصادی، اجتماعی، فرهنگی ...

متن کامل

اندازه گیری آسیب پذیری کودکان کشور در مقابل فقر

Objective: The aim of measuring vulnerability of children to poverty is to estimate the probability 01 being poor according to the household’s head socioeconomic characteristics. The estimates of the vulnerability to poverty can be used as a guideline to the policymakers to allocate the public subsidies to the poor children and their families. Methodology: Children are at a higher risk of ...

متن کامل

اندازه گیری آسیب پذیری کودکان کشور در مقابل فقر

Objective: The aim of measuring vulnerability of children to poverty is to estimate the probability 01 being poor according to the household’s head socioeconomic characteristics. The estimates of the vulnerability to poverty can be used as a guideline to the policymakers to allocate the public subsidies to the poor children and their families. Methodology: Children are at a higher risk of ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده فنی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023